reveal CLib:o.stubs (_stub_oldExitHandler)
reveal CLib:o.stubs (_stub_returnCode)
reveal CLib:o.stubs (_stub_heapTop)
reveal CLib:o.stubs (_stub_heapLimit)
reveal CLib:o.stubs (_stub_heapBase)
reveal CLib:o.stubs (_stub_app_space_end)
reveal CLib:o.stubs (_stub_stack_o_flag)
reveal CLib:o.stubs (_stub_extendChunk)
reveal CLib:o.stubs (_stub_rootStackChunk)
reveal CLib:o.stubs (_stub_heapExtender)
reveal CLib:o.stubs (_stub_knownSlotSize)
reveal CLib:o.stubs (_stub_initSlotSize)
reveal CLib:o.stubs (_stub_allocProc)
reveal CLib:o.stubs (_stub_freeProc)
reveal CLib:o.stubs (_stub_unwinding)
rename CLib:o.stubs (abort, scl_abort)
rename CLib:o.stubs (atexit, scl_atexit)
rename CLib:o.stubs (malloc, scl_malloc)
rename CLib:o.stubs (realloc, scl_realloc)
rename CLib:o.stubs (calloc, scl_calloc)
rename CLib:o.stubs (free, scl_free)

